- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Brian H. Mayoh
18 found
Order:
- Analysis in the Computable Number Field.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.
- A Chain of Inclusion Relations in Computable Analysis.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.
- The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):85.
- Aberth Oliver. The failure in computable analysis of a classical existence theorem for differential equations. Proceedings of the American Mathematical Society, vol. 30 , pp. 151–156. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
- Dieter Klaua. Konstruktive Analysis. Mathematische Forschungsberichte no. 11, VEB Deutscher Verlag der Wissenschaften, Berlin1961, VIII + 160 pp. [REVIEW]Brian H. Mayoh - 1973 - Journal of Symbolic Logic 38 (1):154-155.
- Markov A. A.. O logiké konstruktivnoj matématiki. Véstnik Moskovskogo Univérsiteta, Séria I, matématika, méhanika, no. 2 , pp. 7–29.Markov A. A.. On the logic of constructive mathematics. English translation of the preceding. Moscow University mathematics bulletin, vol. 25 , pp. 45–60. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
- A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 , pp. 477–507. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
- Oliver Aberth. Analysis in the computable number field. Journal of the Association for Computing Machinery, vol. 15 , pp. 275–299. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
- Oliver Aberth. A chain of inclusion relations in computable analysis. Proceedings of the American Mathematical Society, vol. 22 , pp. 539–548. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
- Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 47–52. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
- Oliver Aberth. The concept of effective method applied to computational problems of linear algebra. Journal of computer and system sciences, vol. 5 , pp. 17–25. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
- Review: A. A. Markov, On the Logic of Constructive Mathematics. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
- Review: A. A. Markov, B. van Rootselaar, J. F. Staal, An Approach to Constructive Mathematical Logic. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
- Review: I. D. Zaslavskii, E. Mendelson, Some Properties of Constructive Real Numbers and Constructive Functions. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.
- Robert I. Soare. Recursion theory and Dedekind cuts. Transactions of the American Mathematical Society, vol. 140 , pp. 271–294. - Robert I. Soare. Cohesive sets and recursively enumerable Dedekind cuts. Pacific Journal of mathematics, vol. 31 , pp. 215–231. [REVIEW]Brian H. Mayoh - 1971 - Journal of Symbolic Logic 36 (1):148.
- Review: Oliver Aberth, The Concept of Effective Method Applied to Computational Problems of Linear Algebra. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84-84.
- Review: Robert I. Soare, Recursion Theory and Dedekind Cuts; Robert I. Soare, Cohesive Sets and Recursively Enumerable Dedekind Cuts. [REVIEW]Brian H. Mayoh - 1971 - Journal of Symbolic Logic 36 (1):148-148.
- I. D. Zaslavskij. Nékotoryé svojstva konstruktivnyh v隡éstvennyh čisél i konstruktivnyh funkcij. Problémy konstruktivnogo napravléniá v matématiké, 2 , Sbornik robot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 67, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 385–457. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8fb5884b9-k4bxp uwo